MAYBE 1.629
↳ HASKELL
↳ CR
((unfoldr :: (a -> Maybe (b,a)) -> a -> [b]) :: (a -> Maybe (b,a)) -> a -> [b]) |
import qualified Maybe import qualified Prelude |
|||||||||||||||||
unfoldr :: (a -> Maybe (b,a)) -> a -> [b]
|
import qualified List import qualified Prelude |
case f b of Just (a,new_b) → a : unfoldr f new_b Nothing → []
unfoldr0 f (Just (a,new_b)) = a : unfoldr f new_b unfoldr0 f Nothing = []
↳ HASKELL
↳ CR
↳ HASKELL
↳ BR
((unfoldr :: (b -> Maybe (a,b)) -> b -> [a]) :: (b -> Maybe (a,b)) -> b -> [a]) |
import qualified Maybe import qualified Prelude |
|||||||||
unfoldr :: (a -> Maybe (b,a)) -> a -> [b]
|
|||||||||
|
import qualified List import qualified Prelude |
↳ HASKELL
↳ CR
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
((unfoldr :: (a -> Maybe (b,a)) -> a -> [b]) :: (a -> Maybe (b,a)) -> a -> [b]) |
import qualified Maybe import qualified Prelude |
|||||||||
unfoldr :: (b -> Maybe (a,b)) -> b -> [a]
|
|||||||||
|
import qualified List import qualified Prelude |
undefined
| False
= undefined
undefined = undefined1
undefined0 True = undefined
undefined1 = undefined0 False
↳ HASKELL
↳ CR
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
↳ HASKELL
↳ Narrow
↳ Narrow
(unfoldr :: (b -> Maybe (a,b)) -> b -> [a]) |
import qualified Maybe import qualified Prelude |
|||||||||
unfoldr :: (b -> Maybe (a,b)) -> b -> [a]
|
|||||||||
|
import qualified List import qualified Prelude |
↳ HASKELL
↳ CR
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
↳ HASKELL
↳ Narrow
↳ QDP
↳ NonTerminationProof
↳ Narrow
new_unfoldr(vy3, ba, bb) → new_unfoldr0(vy3, ba, bb)
new_unfoldr0(vy3, ba, bb) → new_unfoldr(vy3, ba, bb)
new_unfoldr(vy3, ba, bb) → new_unfoldr0(vy3, ba, bb)
new_unfoldr0(vy3, ba, bb) → new_unfoldr(vy3, ba, bb)
↳ HASKELL
↳ CR
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
↳ HASKELL
↳ Narrow
↳ Narrow
↳ QDP
↳ DependencyGraphProof
new_unfoldr0(vy3, Just(@2(vy500, vy501)), ba, bb, []) → new_unfoldr(vy3, vy501, ba, bb, [])